successor function meaning in French

fonction successeur

The successor function is used in the Peano axioms which define the natural numbers.
La fonction successeur apparaît dans les axiomes de Peano qui définissent les entiers naturels.
The successor function is the level-0 foundation of the infinite Grzegorczyk hierarchy of hyperoperations, used to build addition, multiplication, exponentiation, tetration, etc..
La fonction successeur est le niveau 0 de la hiérarchie inf hyperoperations (utilisées pour construire l'addition, la multiplication, l'exponentiation, etc.). ↑ Halmos, Chapter 11.
The primitive functions are the unary successor function, denoted by prefix S , {\displaystyle \ S,} , and two binary operations, addition and multiplication, denoted by infix "+" and " ⋅ {\displaystyle \cdot } ", respectively.
Les fonctions primitives sont la fonction successeur unaire, notée par le préfixe S ,
The signature of Peano arithmetic includes the addition, multiplication, and successor function symbols, the equality and less-than relation symbols, and a constant symbol for 0.
La signature de l'arithmétique de Peano comprend les symboles de l'addition, de la multiplication et de la fonction successeur, les symboles de l'égalité et de la relation inférieure, et un symbole constant pour 0.